Approximate Logic Synthesis: A Survey
نویسندگان
چکیده
منابع مشابه
A Logic for Approximate Reasoning
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...
متن کاملA Logic for Approximate Reasoning
We investigate the problem of reasoning with imprecise quantitative information. We give formal semantics to a notion of approximate observations, and deene two types of entail-ment for a knowledge base with imprecise information: a cautious notion, which allows only completely justiied conclusions, and a bold one, which allows jumping to conclusions. Both versions of the entailment relation ar...
متن کاملApproximate Similarity Queries: A Survey
We review the major paradigms for similarity queries, in particular those that allow approximate results. We propose an original classification schema which easily allows existing approaches to be compared along several independent coordinates, such as quality of results, error metrics, and user interaction.
متن کاملA Logic for Approximate First-Order Reasoning
In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the first-order case is only semi-decidable. Even in the restricted case of finite universes of discourse, reasoning remains inherently intractable, as the reasoner has to deal with two independent sources of complexity: unbounded c...
متن کاملEpistemic Logic: A Survey
Epistemic logic is the logic of knowledge: how do you reason about the question whether your silent admirer knows that you know that (s)he sent you an anonymous Valentine card? Is it harmful if, at a literature-exam you don't know the contents of a chapter? No, as long as you know that the examiner does not know that you do not know it. Knowing whether your neighbor knows that he regularly play...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the IEEE
سال: 2020
ISSN: 0018-9219,1558-2256
DOI: 10.1109/jproc.2020.3014430